The c-Semantics: A Comprehensive Semantics for Functional Programs

نویسنده

  • Olaf Chitil
چکیده

A comprehensive semantics for functional programs is presented, which generalizes the well-known call-by-value and call-by-name semantics. By permitting a separate choice between call-by value and call-by-name for every argument position of every function and parameterizing the semantics by this choice we abstract from the parameter-passing mechanism. Thus common and distinguishing features of all instances of the &-semantics, especially call-by-value and call-by-name semantics, are highlighted. Furthermore , a property can be validated for all instances of the &-semantics by a single proof. This is employed for proving the equivalence of the given denotational ((xed-point based) and two operational (reduction based) deenitions of the &-semantics. We present and apply means for very simple proofs of equivalence with the denotational &-semantics for a large class of reduction-based &-semantics. Our basis are simple rst-order constructor-based functional programs with patterns.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey

One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...

متن کامل

Application of Frame Semantics to Teaching Seeing and Hearing Vocabulary to Iranian EFL Learners

A term in one language rarely has an absolute synonymous meaning in the same language; besides, it rarely has an equivalent meaning in an L2. English synonyms of seeing and hearing are particularly grammatically and semantically different. Frame semantics is a good tool for discovering differences between synonymous words in L2 and differences between supposed L1 and L2 equivalents. Vocabulary ...

متن کامل

Interrogation of a University Classrooms in the Court of Semantics: Managerial Implications

The purpose of this article, within the framework of an interpretive study, was to study the semantics of a universitychr('39')s classrooms to create a critical awareness of the meanings of the symptoms and their functions at the context of physical artifacts, besides their managerial implications. To accomplish this goal, after taking pictures of the structural elements of the studied classroo...

متن کامل

The ς-Semantics: A Comprehensive Semantics for Functional Programs

A comprehensive semantics for functional programs is presented, which generalizes the well-known call-by-value and call-by-name semantics. By permitting a separate choice between call-by value and call-by-name for every argument position of every function and parameterizing the semantics by this choice we abstract from the parameterpassing mechanism. Thus common and distinguishing features of a...

متن کامل

The Comparative Semantics of ‘Recitation’ and ‘Chanting’ in the Holy Quran and Hadith’s Viewpoint

In linguistics, a study of the relation between word and meaning is called semantics. Semantics is a term for referring to study the meaning of elements of a language, particularly to study the real context of sentences and phrases of a language. The meaning of ‘recitation’ and ‘chanting’ in terms of Quranic, Hadith and idiomatic applications will be identified in this p...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Fundam. Inform.

دوره 31  شماره 

صفحات  -

تاریخ انتشار 1997